(and (eq t (>= 1 0))
     (eq t (<= 0 1)))
